Clique versus Independent Set

نویسندگان

  • Nicolas Bousquet
  • Aurélie Lagoutte
  • Stéphan Thomassé
چکیده

Yannakakis’ Clique versus Independent Set problem (CL− IS) in communication complexity asks for the minimum number of cuts separating cliques from stable sets in a graph, called CS-separator. Yannakakis provides a quasi-polynomial CS-separator, i.e. of size O(n), and addresses the problem of finding a polynomial CS-separator. This question is still open even for perfect graphs. We show that a polynomial CS-separator almost surely exists for random graphs. Besides, if H is a split graph (i.e. has a vertex-partition into a clique and a stable set) then there exists a constant cH for which we find a O(nH ) CS-separator on the class of H-free graphs. This generalizes a result of Yannakakis on comparability graphs. We also provide a O(nk) CS-separator on the class of graphs without induced path of length k and its complement. Observe that on one side, cH is of order O(|H| log |H|) resulting from Vapnik-Chervonenkis dimension, and on the other side, ck is a tower function, due to an application of the regularity lemma. One of the main reason why Yannakakis’ CL−IS problem is fascinating is that it admits equivalent formulations. Our main result in this respect is to show that a polynomial CSseparator is equivalent to the polynomial Alon-Saks-Seymour Conjecture, asserting that if a graph has an edge-partition into k complete bipartite graphs, then its chromatic number is polynomially bounded in terms of k. We also show that the classical approach to the stubborn problem (arising in CSP) which consists in covering the set of all solutions by O(n) instances of 2-SAT is again equivalent to the existence of a polynomial CS-separator. 1 ar X iv :1 30 1. 24 74 v2 [ cs .D M ] 1 8 M ar 2 01 3

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Quasi-P versus P

This report studies problems coming from three di erent domains of theoretical computer science: Clique versus Independent set in communication complexity, the Alon-SaksSeymour conjecture in graph coloring and the stubborn problem in constraint satisfaction problem. Each problem admits a quasi-polynomial size solution, meaning of size n where n is the parameter, and the problem is to nd a polyn...

متن کامل

Independent sets in edge-clique graphs

We show that the edge-clique graphs of cocktail party graphs have unbounded rankwidth. This, and other observations lead us to conjecture that the edge-clique cover problem is NP-complete for cographs. We show that the independent set problem on edge-clique graphs of cographs and of distance-hereditary graphs can be solved in O(n4) time. We show that the independent set problem on edge-clique g...

متن کامل

Partial characterizations of clique-perfect graphs

A clique-transversal of a graph G is a subset of vertices that meets all the cliques of G. A clique-independent set is a collection of pairwise vertex-disjoint cliques. The clique-transversal number and clique-independence number of G are the sizes of a minimum clique-transversal and a maximum clique-independent set of G, respectively. A graph G is clique-perfect if the sizes of a minimum cliqu...

متن کامل

Independent sets in edge-clique graphs II

We show that edge-clique graphs of cocktail party graphs have unbounded rankwidth. This, and other observations lead us to conjecture that the edge-clique cover problem is NP-complete for cographs. We show that the independent set problem on edge-clique graphs of cographs and of distance-hereditary graphs can be solved in polynomial time. We show that the independent set problem on edge-clique ...

متن کامل

Clique, independent set, and graph coloring

This article introduces the closely related maximum clique, maximum independent set, graph coloring, and minimum clique partitioning problems. The survey includes some of the most important results concerning these problems, including their computational complexity, known bounds, mathematical programming formulations, and exact and heuristic algorithms to solve them.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Eur. J. Comb.

دوره 40  شماره 

صفحات  -

تاریخ انتشار 2014